Proof assistant - PDFSEARCH.IO - Document Search Engine

Proof assistant
Results: 176

#	Item
11	User Interaction with the Matita Proof Assistant Andrea Asperti (), Claudio Sacerdoti Coen (), Enrico Tassi () and Stefano Zacchiroli () Departm Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:13 Automated theorem proving Software Theoretical computer science Proof assistants Functional languages Type theory Matita Formal methods Calculus of constructions Mathematical proof Automated reasoning Theorem
12	Foundational Extensible Corecursion A Proof Assistant Perspective Jasmin Christian Blanchette Andrei Popescu Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2016-02-11 10:23:52 Software engineering Computer programming Declarative programming Recursion Theoretical computer science Functional programming Category theory Subroutines Corecursion Fold Coinduction Tail call
13	Crafting a Proof Assistant Andrea Asperti, Claudio Sacerdoti Coen, Enrico Tassi, and Stefano Zacchiroli Department of Computer Science, University of Bologna Mura Anteo Zamboni, 7 – 40127 Bologna, ITALY {asperti,sacerd Add to Reading List Source URL: matita.cs.unibo.it Language: English - Date: 2007-05-25 11:04:16 Logic Computing Mathematics Automated theorem proving Proof theory Type theory Logical truth Syntax Matita Proof assistant Mathematical proof CurryHoward correspondence
14	Kentucky Dental Screening/Examination Form for School Entry Kentucky law, KRSi), requires proof of a dental screening or examination by a dentist, dental hygienist, physician, registered nurse, advanced register Add to Reading List Source URL: fchd.org Language: English - Date: 2016-05-14 12:28:08 Dental hygienist Health Dentistry Dental assistant
15	Learning and Exploration in Automated Theorem Proving Moa Johansson Chalmers University of Technology Abstract This note describes a new project with the purpose of combining the advantages of statistical machine learnin Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2015-08-18 04:15:56 Mathematics Theoretical computer science Automated theorem proving Logic Logic in computer science Mathematical proofs Artificial intelligence Reasoning ACL2 Automated reasoning Proof assistant Isabelle
16	Mining the Archive of Formal Proofs? Jasmin Christian Blanchette1,2 , Maximilian Haslbeck3 , Daniel Matichuk4,5 , and Tobias Nipkow3 1 Inria Nancy & LORIA, Villers-lès-Nancy, France Max-Planck-Institut für Informatik, Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-05-09 06:37:36 Automated theorem proving Mathematics Mathematical proofs Logic Logical consequence Statements Theorem Creativity Lemma Proof assistant Mathematical logic
17	Downloaded from orbit.dtu.dk on: Aug 13, 2016 Formalization of Algorithms and Logical Inference Systems in Proof Assistants Schlichtkrull, Anders Published in: Add to Reading List Source URL: orbit.dtu.dk Language: English - Date: 2016-01-29 23:14:59 Logic Mathematical logic Abstraction Automated theorem proving Reasoning Syntax Theoretical computer science Artificial intelligence Automated reasoning Proof assistant Isabelle First-order logic
18	Noname manuscript No. (will be inserted by the editor) Extending Sledgehammer with SMT Solvers Jasmin Christian Blanchette · Sascha Böhme · Lawrence C. Paulson Add to Reading List Source URL: people.mpi-inf.mpg.de Language: English - Date: 2015-01-25 16:18:54 Logic in computer science Automated theorem proving Formal methods Theoretical computer science Constraint programming Satisfiability modulo theories Z3 Isabelle Formal verification Proof assistant Automated reasoning E theorem prover
19	Hipster: Integrating Theory Exploration in a Proof Assistant Moa Johansson, Dan Ros´en, Nicholas Smallbone, and Koen Claessen Department of Computer Science and Engineering, Chalmers University of Technology {jomoa,danr Add to Reading List Source URL: www.cse.chalmers.se Language: English - Date: 2014-05-05 03:54:39 Mathematical proofs Lemmas Five lemma Homological algebra Structural induction Theorem Proof assistant
20	The Combined KEAPPA - IWIL Workshops Proceedings Proceedings of the workshops Knowledge Exchange: Automated Provers and Proof Assistants and The 7th International Workshop on the Implementation of Logics held at Add to Reading List Source URL: www.cs.miami.edu Language: English - Date: 2008-11-17 12:13:47 Automated theorem proving Automated reasoning Proof assistant First-order logic Type theory TarskiGrothendieck set theory Mizar and Alcor Geoff Sutcliffe Jordan curve theorem Isabelle Mathematical logic Reasoning system